a60a826c517d8fbb7f1d237ee902388ea6971f92,clone-detector/src/indexbased/TermSearcher.java,TermSearcher,searchWithPosition,#number#,38
Before Change
if (simInfo.candidateSize == 0) {
simInfo.candidateSize = Integer
.parseInt(SearchManager.searcher
.getDocument(docId).get("size"));
}
if (!Util.isSatisfyPosFilter(
this.simMap.get(docId).similarity,
After Change
simInfo.candidateMatchPosition = candidatePos
+ docEnum.freq();
if (simInfo.candidateSize == 0) {
Document d = SearchManager.searcher.get(shard).getDocument(docId);
//$$$$$$$$$$$$$$
simInfo.candidateSize = Integer.parseInt(d.get("size"));
}
if (!Util.isSatisfyPosFilter(
this.simMap.get(docId).similarity,